Fiber Bundles for Physicists:
Frames, Connections, and the Geometry of Fields

§1 Motivation: Why "Just a Vector Space" Isn't Enough

In elementary mechanics and electromagnetism, a vector field $\mathbf{V}(x)$ is usually introduced as an assignment of an arrow to each point of $\mathbb{R}^3$. This works because $\mathbb{R}^3$ comes with a single, global, constant frame $(\hat{\mathbf{e}}_1, \hat{\mathbf{e}}_2, \hat{\mathbf{e}}_3)$: the same three orthonormal directions at every point. Components of $\mathbf{V}$ at different points can be compared directly, because the basis vectors used to express them are literally the same vectors.

On a curved manifold $M$ — the surface of a sphere, spacetime in general relativity, or the configuration space of a mechanical system — there is no such global constant frame. The tangent space $T_pM$ at one point $p$ and the tangent space $T_qM$ at another point $q$ are different vector spaces; there is no canonical identification between them. A "vector field" must therefore be reformulated as a smooth choice of element of $T_pM$ for each $p$, and comparing vectors at different points becomes a nontrivial geometric operation.

§2 Fiber Bundles: The General Definition

Let $M$ be a smooth manifold (the base space) and $F$ another manifold (the typical fiber). A fiber bundle is a smooth manifold $E$ (the total space) together with a smooth surjective map

called the projection, such that $E$ is locally a product of $M$ and $F$. Precisely, every point $p \in M$ has an open neighbourhood $U \subset M$ and a diffeomorphism

called a local trivialization, satisfying $\mathrm{pr}_1 \circ \Phi_U = \pi$, where $\mathrm{pr}_1$ is projection onto the first factor. The set $E_p \equiv \pi^{-1}(p)$ is the fiber over $p$; the local trivialization restricts to a diffeomorphism $E_p \cong F$ for each $p \in U$.

If $\{U_\alpha\}$ is an open cover of $M$ with local trivializations $\Phi_\alpha$, then on overlaps $U_\alpha \cap U_\beta$ the two trivializations differ by a map into the diffeomorphism group of $F$:

The functions $g_{\alpha\beta}$ are the transition functions of the bundle. They satisfy the cocycle condition $g_{\alpha\beta}g_{\beta\gamma} = g_{\alpha\gamma}$ on triple overlaps. A bundle is trivial ($E \cong M \times F$ globally) precisely when the $g_{\alpha\beta}$ can be removed by a global change of trivialization; otherwise the bundle is twisted, and the transition functions encode exactly how.

A section of $\pi: E \to M$ is a smooth map $s: M \to E$ with $\pi \circ s = \mathrm{id}_M$ — a continuous choice of one element of $E_p$ for every $p$. Sections are the rigorous incarnation of "fields": the bundle is the space of all possible field configurations at every point, and a section is one particular field.

§3 Vector Bundles and Vector Fields as Sections

A vector bundle of rank $n$ is a fiber bundle $\pi: E \to M$ whose typical fiber is $\mathbb{R}^n$ (or $\mathbb{C}^n$) and whose transition functions take values in $GL(n,\mathbb{R})$ (or $GL(n,\mathbb{C})$) acting linearly:

The linearity means each fiber $E_p$ inherits the structure of a genuine $n$-dimensional vector space — addition and scalar multiplication of elements of $E_p$ are well-defined, because the transition functions are linear isomorphisms between the local copies of $\mathbb{R}^n$.

With this language, a vector field on $M$ is precisely a smooth section of a vector bundle $E \to M$. In a local trivialization over $U_\alpha$, the section is represented by a smooth function $V_\alpha : U_\alpha \to \mathbb{R}^n$; on the overlap $U_\alpha \cap U_\beta$, the same physical section is represented in the two trivializations by component functions related as

This is the modern statement of the elementary rule "vector components transform contravariantly under a change of basis" — except now $g_{\alpha\beta}(p)$ can vary smoothly from point to point, because the "basis" itself is allowed to vary.

§4 The Tangent Bundle and Transition Functions

The most important vector bundle in physics is the tangent bundle $TM$, defined as the disjoint union of all tangent spaces,

A coordinate chart $x^\mu : U \to \mathbb{R}^n$ on $M$ provides a local trivialization of $TM$ over $U$, by associating to $v \in T_pM$ its components $v^\mu$ in the coordinate basis $\{\partial/\partial x^\mu\}_p$. If $y^\nu(x)$ is a second chart on $U' $ overlapping $U$, the two component descriptions of the same vector $v$ are related by the Jacobian matrix:

Thus for the tangent bundle, the transition functions $g_{\alpha\beta}$ of Eq. \eqref{eq:vbtransition} are precisely the Jacobian matrices $\partial y^\nu/\partial x^\mu$ of the coordinate change. A "vector field" $V = V^\mu \partial_\mu$ is a section of $TM$: at every point it is a tangent vector, but its component functions $V^\mu(x)$ depend on the choice of chart according to Eq. \eqref{eq:jacobian}.

§5 The Frame Bundle: Framing Every Point

A frame at $p \in M$ is an ordered basis $(e_1, \dots, e_n)$ of $T_pM$. The set of all frames at all points of $M$ assembles into the frame bundle $FM$:

The fiber $\pi^{-1}(p)$ is the set of all bases of $T_pM$. Crucially, this fiber is not a vector space: there is no natural "zero frame" or way to add two frames. Instead, $GL(n,\mathbb{R})$ acts freely and transitively on the fiber by changing basis,

so that, having fixed any one frame at $p$, every other frame at $p$ is obtained uniquely by acting with some $A \in GL(n,\mathbb{R})$. This makes $FM$ the prototypical example of a principal bundle with structure group $GL(n,\mathbb{R})$, defined precisely in §6.

A moving frame (or vielbein, or repère mobile) on an open set $U \subset M$ is a smooth choice of basis $(e_1(p),\dots,e_n(p))$ for every $p \in U$ — that is, a local section $s: U \to FM$ of the frame bundle. Equivalently, it is $n$ vector fields $e_1,\dots,e_n$ on $U$ that are linearly independent at every point.

§6 Principal Bundles and the Structure Group

A principal $G$-bundle is a fiber bundle $\pi: P \to M$ with typical fiber a Lie group $G$, equipped with a smooth right action

that is free (only the identity has a fixed point) and acts transitively on each fiber, with $\pi(u\cdot g) = \pi(u)$. The transition functions $g_{\alpha\beta}: U_\alpha \cap U_\beta \to G$ act on $P$ by left multiplication, and $G$ is called the structure group.

The frame bundle $FM$ of §5 is the principal $GL(n,\mathbb{R})$-bundle naturally associated with $TM$. More generally, given any vector bundle $E \to M$ of rank $n$ with structure group $G \subseteq GL(n,\mathbb{R})$, one can construct a principal $G$-bundle $P \to M$ (the frame bundle of $E$) whose fiber over $p$ consists of the linear isomorphisms $\mathbb{R}^n \to E_p$ compatible with whatever extra structure (orthonormality, orientation, ...) reduces the structure group to $G$. Conversely, given a principal $G$-bundle $P$ and a representation $\rho: G \to GL(V)$, one builds the associated vector bundle

This dictionary — principal bundle with structure group $G$ $\leftrightarrow$ vector bundles via representations of $G$ — is the precise mathematical content behind the statement "matter fields transform in representations of the gauge group."

§7 Connections: Comparing Frames at Nearby Points

The local trivializations of a fiber bundle let us compare points within a single fiber via the structure group, but they give no canonical way to compare an element of $E_p$ with an element of $E_q$ for $p \neq q$ — the bundle, by itself, has no notion of "the same vector, translated to a nearby point." A connection supplies exactly this: an infinitesimal rule for identifying nearby fibers.

Concretely, on a vector bundle $E \to M$, a connection is a differential operator

satisfying the Leibniz rule $\nabla(fs) = df\otimes s + f\nabla s$ for any smooth function $f$ and section $s$. In a local frame $(e_1,\dots,e_n)$ — that is, a local section of the frame bundle $FM$ — the covariant derivative of each frame vector is itself expanded in the same frame:

defining the connection coefficients (or connection one-form) $\omega^j{}_{i\mu}$, valued in the Lie algebra $\mathfrak{g}$ of the structure group. For the tangent bundle with the coordinate frame, these are the familiar Christoffel symbols $\Gamma^\nu_{\mu\lambda}$. The covariant derivative of a section $V = V^i e_i$ then follows from the Leibniz rule:

Under a change of frame $e_i \to e_i' = e_j (A^{-1})^j{}_i$ given by $A: U \to G$, the connection coefficients transform inhomogeneously,

which is exactly the gauge transformation law of a Yang–Mills connection $A_\mu \to A A_\mu A^{-1} - (\partial_\mu A) A^{-1}$. The connection one-form is, mathematically, the same object as the gauge potential.

§8 Parallel Transport and "Constant" Frames

Given a connection, a section $V$ is said to be parallel along a curve $\gamma(t)$ if $\nabla_{\dot\gamma} V = 0$ along $\gamma$. Solving this first-order ODE for $V(t)$ given an initial condition $V(0) \in E_{\gamma(0)}$ defines the parallel transport map

a linear isomorphism between the fibers at the endpoints of $\gamma$. This is precisely the rigorous replacement for "moving a vector to a nearby point without changing it." A frame $(e_1,\dots,e_n)$ is a parallel frame along $\gamma$ if every $e_i$ is parallel-transported into itself, i.e. $\omega_{\mu}\dot\gamma^\mu = 0$ along $\gamma$ in that frame — equivalently, the connection coefficients vanish identically in that frame along the curve.

In flat $\mathbb{R}^n$ with the Levi-Civita connection of the Euclidean metric, the Christoffel symbols vanish identically in Cartesian coordinates: $\Gamma^\nu_{\mu\lambda}=0$ everywhere. The Cartesian frame is therefore parallel along every curve and at every point simultaneously — it is a single global parallel section of $FM$. This is the rigorous meaning of "a moving frame that is constant in Euclidean space": constancy is the statement that the frame is covariantly constant for the (flat) connection, which happens to coincide with ordinary constancy because $\omega \equiv 0$ in that frame.

§9 Curvature: The Field Strength of a Connection

The infinitesimal version of holonomy around an infinitesimal loop is the curvature of the connection, defined as the failure of covariant derivatives to commute:

a $\mathfrak{g}$-valued two-form on $M$. For the Levi-Civita connection on $TM$, $F_{\mu\nu}$ is (up to index conventions) the Riemann curvature tensor $R^\rho{}_{\sigma\mu\nu}$. For a $U(1)$ principal bundle with its associated line bundle, $F_{\mu\nu}$ is the electromagnetic field-strength tensor; for a general $G$, it is the Yang–Mills field strength. In every case, $F_{\mu\nu}=0$ everywhere is precisely the condition for the connection to be flat — for a frame to exist that is parallel along every curve, i.e. for a genuinely "constant" frame to be globally definable, at least locally (global flatness additionally requires trivial holonomy around non-contractible loops).

§10 Physical Applications

The dictionary built above translates directly into the major frameworks of theoretical physics:

Returning to the Bloch-electron picture familiar from band theory: the Bloch wavevector $k$ ranging over the Brillouin zone parametrizes a base manifold (a torus), and the cell-periodic functions $u_{nk}$ at each $k$ span a Hilbert-space fiber. The Berry connection $\mathcal{A}_n(k) = i\langle u_{nk}|\nabla_k|u_{nk}\rangle$ is exactly a connection one-form on this bundle in the sense of Eq. \eqref{eq:connectionop}, and its curvature — the Berry curvature — integrates over closed surfaces in the Brillouin zone to give the topological invariants (Chern numbers) underlying the quantum Hall effect. Fiber bundles thus provide the single geometric language spanning gravity, gauge theory, and the topology of band structures.